TIMED PETRI NETS MODELING AND LYAPUNOV/MAX-PLUS ALGEBRA STABILITY ANALYSIS FOR A TYPE OF QUEUING SYSTEMS
نویسندگان
چکیده
منابع مشابه
Modeling and Scheduling Design for a Class of Queuing Systems by means of timed Petri Nets and Max-Plus Algebra
A queuing system, is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Placetransitions Petri nets (commonly called Petri nets) are a graphical and mathematical modeling tool applicable to queuing systems in order to represent its states evolution. Timed Petri nets are an extension of Petri nets, where now the timing at which the st...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملTimed Petri Nets in Modeling and Analysis of Manufacturing Systems
Petri nets are formal models of systems which exhibit concurrent activities. As formal models, Petri nets are bipartite directed graphs, in which the two types of vertices represent, in a very general sense, conditions and events. In order to study performance aspects of systems modeled by Petri nets, the durations of modeled activities must also be taken into account. This can be done in diffe...
متن کاملThe Stability Problem for Discrete Event Dynamical Systems Modeled with timed Petri Nets Using a Lyapunov-Max-Plus Algebra Approach
A discrete event system, is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Place-transitions Petri nets (commonly called Petri nets) are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution. Timed Petri nets are an extension of Petri nets that model discrete ev...
متن کاملPetri Nets and Timed Petri Nets in Modeling and Analysis of Concurrent Systems – An Overview
Petri nets are formal models of systems which exhibit concurrent activities. Communication networks, multiprocessor systems, manufacturing systems and distributed databases are simple examples of such systems. As formal models, Petri nets are bipartite directed graphs, in which the two types of vertices represent, in a very general sense, conditions and events. An event can occur only when all ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Pure and Apllied Mathematics
سال: 2013
ISSN: 1311-8080,1314-3395
DOI: 10.12732/ijpam.v86i2.6